Knihy od autora Ofer Strichman

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Theory and Applications of Satisfiability Testing - SAT 2010

   Ofer Strichman, Stefan Szeider | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 9-13 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1702 Kč

   Koupit
2. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Hardware and Software: Verification and Testing

   Ofer Strichman, Rachel Tzoref-Brill | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2571 Kč

   Koupit
5. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2126 Kč

   Koupit

Poskytujeme slevy pro studenty, učitele a držitele ISIC. Zjistěte více